Computer Science

Module	LV Type	CP	LV	Dates	Examination
Actions and Planning in AI: Learning, Models, and Algorithms	Fach-/Modulprüfung	6	530726
	Vorlesung		526438	Di 16:30-18:00 Phil (1070\|113) (×10) Do 16:30-18:00 Be 225 (1140\|225) (×9)
	Übung		526827	Mi 10:30-12:00 Be 114 (1140\|114) (×9) Mi 10:30-12:00 Extern (×1) Mi 10:30-12:00 V (1010\|213) (×1)
Advanced Algorithmic Differentiation	Fach-/Modulprüfung	6	535403
Advanced Algorithmic Differentiation	Vorlesung/Übung		532361	Mo 10:30-12:00 AH III (2350\|314.1) (×13) Mi 12:30-14:00 AH III (2350\|314.1) (×14)
Advanced Automata Theory	Fach-/Modulprüfung	6	531708
Advanced C++	Fach-/Modulprüfung	4	530725
Advanced Internet Technology	Fach-/Modulprüfung	6	528031
	Vorlesung		523913	Di 14:30-16:00 AH I (2350\|028) (×12) Fr 10:30-12:00 AH I (2350\|028) (×9)
	Übung		524317	Fr 12:30-14:00 AH I (2350\|028) (×8)
Advanced Machine Learning	Fach-/Modulprüfung	6	531242		Fr 15.08.2025 09:00-11:00 H01 (1385\|101) Di 09.09.2025 12:00-14:00 TEMP2 (1515\|002)
Advanced Machine Learning	Vorlesung		524468	Mo 12:30-14:00 HKW 2 (1132\|303) (×13) Do 12:30-14:00 AH IV (2354\|030) (×11)
Advanced Process Mining	Fach-/Modulprüfung	6	531360
	Vorlesung		525715	Di 16:30-18:00 AH V (2356\|050) (×12) Do 10:30-12:00 AH VI (2356\|051) (×9)
	Übung		525716	Mo 14:30-16:00 AH VI (2356\|051) (×11)
Advanced Topics in Machine Learning for Human Language Technology	Fach-/Modulprüfung	4	529448
Algorithmische Modelltheorie I	Fach-/Modulprüfung	8	528281
Automatic Speech Recognition Search	Fach-/Modulprüfung	4	529221
	Vorlesung		526763	Di 08:30-10:00 5054 (2356\|054) (×9) Mi 10:30-12:00 AH III (2350\|314.1) (×4) Do 10:30-12:00 5054 (2356\|054) (×4)
	Übung		526764	Mi 10:30-12:00 AH III (2350\|314.1) (×5) Do 10:30-11:00 5054 (2356\|054) (×1) Do 10:30-12:00 5054 (2356\|054) (×1)
Business Process Intelligence	Fach-/Modulprüfung	6	530026
	Vorlesung		525690	Mo 14:30-16:00 AH V (2356\|050) (×11) Di 12:30-14:00 AH V (2356\|050) (×11)
	Übung		525691	Mi 10:30-12:00 AH IV (2354\|030) (×11)
Communication Systems Engineering	Fach-/Modulprüfung	6	527988
Computer Vision	Fach-/Modulprüfung	6	532120		Fr 29.08.2025 09:00-11:00 H01 (1385\|101) H02 (1385\|102) TEMP1 (1515\|001)
Computer Vision	Vorlesung/Übung		524905	Mo 10:30-12:00 TEMP2 (1515\|002) (×13) Do 08:30-10:00 TEMP2 (1515\|002) (×11)
CSCW and Groupware: Concepts and Systems for Computer Supported Cooperative Work	Fach-/Modulprüfung	4	532113
Current Topics in Media Computing and HCI	Fach-/Modulprüfung	6	531703
Current Topics in Media Computing and HCI	Vorlesung/Übung		525440	Di 10:30-12:00 Extern (×11) Mi 12:30-14:00 Extern (×13)
Datenstrommanagement und -analyse	Fach-/Modulprüfung	6	529777
Datenstrommanagement und -analyse	Vorlesung/Übung		526822	Mo 08:30-10:00 AH III (2350\|314.1) (×12) Fr 08:30-10:00 Großer B-IT Raum (2356\|053.2) (×12)
Designing Interactive Systems II	Fach-/Modulprüfung	6	532115		Mi 27.08.2025 09:00-10:00 AH VI (2356\|051)
Designing Interactive Systems II	Vorlesung/Übung		525350	Mo 14:30-16:00 Extern (×12) Mi 09:30-12:00 Extern (×14)
Distributed Ledger Technology	Fach-/Modulprüfung	4	530684
Dynamical Processes on Networks	Fach-/Modulprüfung	6	529284
Eingebettete Systeme	Fach-/Modulprüfung	6	532112
	Vorlesung/Übung		524753	Mo 16:30-18:00 H07 (1385\|104) (×12) Mi 10:30-12:00 H07 (1385\|104) (×10)
	Vorlesung/Übung		527290	Mo 14:30-16:00 AH III (2350\|314.1) (×12) Di 18:30-20:00 H06 (1385\|004) (×10)
Fixpoints and Induction in Logic and Computer Science	Fach-/Modulprüfung	6	529313
	Vorlesung		526041	Mo 10:30-11:30 AH VI (2356\|051) (×1) Mo 10:30-12:00 5056 (2356\|056) (×11) Di 08:30-10:00 5056 (2356\|056) (×8)
	Übung		526841	Mi 12:30-14:00 Seminarraum i7, Raum 4116 (2353\|116) (×3) Fr 12:30-14:00 5052 (2356\|052) (×8)
Formale Grundlagen von UML	Fach-/Modulprüfung	6	531334
Foundations of Logic Programming	Fach-/Modulprüfung	6	531301
	Übung		532443	Do 10:30-12:00 AH IV (2354\|030) (×10) Do 16:30-18:00 AH II (2350\|111) (×1)
	Vorlesung		532442	Do 10:30-12:00 AH IV (2354\|030) (×1) Do 13:30-18:00 AH IV (2354\|030) (×1) Do 16:30-18:00 AH II (2350\|111) (×9) Fr 14:30-16:00 AH III (2350\|314.1) (×11)
Fundamentals of Business Process Management	Fach-/Modulprüfung	6	529879
Geometrieverarbeitung	Fach-/Modulprüfung	6	532114
	Vorlesung		525193	Di 10:30-12:00 AH V (2356\|050) (×8) Di 10:30-12:00 AH VI (2356\|051) (×5) Do 10:30-12:00 AH III (2350\|314.1) (×11)
	Übung		524333	Fr 10:30-12:00 AH V (2356\|050) (×13)
Graphzerlegungen und algorithmische Anwendungen	Fach-/Modulprüfung	6	531837
Höhere Algorithmik	Fach-/Modulprüfung	6	529871
Industrial Data Security	Fach-/Modulprüfung	6	534964
	Vorlesung		534234	Di 10:30-12:00 AH I (2350\|028) (×1) Di 10:30-12:00 AH V (2356\|050) (×4) Di 10:30-12:00 AH VI (2356\|051) (×4) Mi 10:30-12:00 AH V (2356\|050) (×12)
	Übung		534235	Do 10:30-12:00 AH II (2350\|111) (×6)
Infinite Computations and Games	Fach-/Modulprüfung	6	528510
Introduction to Numerical Methods and Software with C++	Fach-/Modulprüfung	6	529271
Introduction to Numerical Methods and Software with C++	Vorlesung/Übung		558529	Di 10:30-12:00 AH III (2350\|314.1) (×13) Mi 08:30-10:00 AH III (2350\|314.1) (×14)
Introduction to Program Synthesis	Fach-/Modulprüfung	6	573400
	Vorlesung		557865	Mi 12:30-14:30 Extern (×13)	Di 07.10.2025
	Übung		557868	Do 10:30-12:00 Extern (×11) Do 12:30-14:00 Extern (×11)
Introduction to Quantum Computing	Fach-/Modulprüfung	6	529571
	Vorlesung		526173	Mo 16:30-18:00 TEMP1 (1515\|001) (×13) Fr 16:30-18:00 Otto Fuchs-Hörsaal (H03) (1385\|003) (×13)
	Übung		526126	Di 10:30-12:00 TEMP2 (1515\|002) (×12)
IT-Sicherheit 1 - Kryptographische Grundlagen und Netzwerksicherheit	Fach-/Modulprüfung	6	529007
IT-Sicherheit 2 - Computer Security	Fach-/Modulprüfung	6	531702
Leistungs- und Korrektheitsanalyse paralleler Programme	Fach-/Modulprüfung	6	531403
Leistungs- und Korrektheitsanalyse paralleler Programme	Vorlesung/Übung		525837	Mo 12:30-14:00 5056 (2356\|056) (×12) Do 12:30-14:00 5056 (2356\|056) (×10)
Logics for Reasoning about Uncertainty	Fach-/Modulprüfung	4	528253
Machine Learning with Graphs: Foundations and Applications	Fach-/Modulprüfung	6	530455
Mikrocontrollerprogrammierung und Fehlersuche	Fach-/Modulprüfung	6	530387
	Vorlesung/Übung		527000	Di 12:30-14:00 H09 (1385\|220) (×12) Mi 08:30-10:00 H11 (1385\|218) (×13)
	Vorlesung/Übung		527000	Di 12:30-14:00 H09 (1385\|220) (×12) Mi 08:30-10:00 H11 (1385\|218) (×13)
Mobile Internet Technology	Fach-/Modulprüfung	6	531302
Mobile Internet Technology	Vorlesung/Übung		524897	Mo 14:30-16:00 AH I (2350\|028) (×8) Do 10:30-12:00 AH I (2350\|028) (×6) Fr 14:30-16:00 AH I (2350\|028) (×10)
Model Checking	Fach-/Modulprüfung	6	531296
Modeling and Verification of Probabilistic Systems	Fach-/Modulprüfung	6	528987
	Vorlesung		533817	Di 10:30-12:00 5055 (2356\|055) (×11) Di 10:30-12:00 UMIC_025 (2165\|025) (×1) Mi 08:30-10:00 5056 (2356\|056) (×10)
	Übung		533818	Do 14:30-16:00 5056 (2356\|056) (×11)
Modellbasierte Softwareentwicklung	Fach-/Modulprüfung	6	532109
Modellierung und Analyse hybrider Systeme	Fach-/Modulprüfung	6	531297
Near-term Quantum Computation	Fach-/Modulprüfung	6	529755
	Vorlesung		527606	Fr 10:30-12:00 R 140 (1080\|140) (×13)
	Übung		526285	Do 16:30-18:00 R 140 (1080\|140) (×11)
Online Algorithmen	Fach-/Modulprüfung	6	528361
Optimization and Uncertainty	Fach-/Modulprüfung	6	535020
	Vorlesung		535018	Mo 10:30-12:00 AH I (2350\|028) (×13) Di 08:30-10:00 AH III (2350\|314.1) (×14)
	Übung		535019	Mi 10:30-12:00 SG 512 (1810\|512) (×13)
Physikalische Simulation im Visual Computing	Fach-/Modulprüfung	6	528176
	Fach-/Modulprüfung	6	530650
	Vorlesung/Übung		527199	Mi 10:30-12:00 AH II (2350\|111) (×14) Fr 10:30-12:00 5056 (2356\|056) (×13)
Probabilistic Programming	Fach-/Modulprüfung	4	528386
Prozesse und Methoden beim Testen von Software	Fach-/Modulprüfung	3	532122
Prozesse und Methoden beim Testen von Software	Fach-/Modulprüfung	6	532121
Quantum Computing	Fach-/Modulprüfung	4	528513
Reinforcement Learning and Learning-based Control	Fach-/Modulprüfung	6	531736
	Vorlesung		526605	Mi 10:30-12:00 PPS H2 (2315\|001) (×14)
	Übung		526386	Mi 12:30-14:00 PPS H2 (2315\|001) (×14)
Research Focus Class on Learning Technologies	Fach-/Modulprüfung	6	531312
Shape Analysis and 3D Deep Learning	Fach-/Modulprüfung	6	529034
	Übung		527084	Do 12:30-14:00 AH III (2350\|314.1) (×11)
	Vorlesung		527270	Di 14:30-16:00 AH V (2356\|050) (×11) Do 14:30-16:00 AH VI (2356\|051) (×10)
Software-Projektmanagement	Fach-/Modulprüfung	4	531306
	Vorlesung		525464	Di 11:00-12:30 AH IV (2354\|030) (×1) Mi 12:30-14:00 AH VI (2356\|051) (×1) Mi 14:45-17:00 AH VI (2356\|051) (×1) Do 12:30-14:00 AH VI (2356\|051) (×6) Fr 10:30-12:00 AH VI (2356\|051) (×13)
	Übung		523985	Fr 12:30-14:00 AH VI (2356\|051) (×13)
Software-Qualitätssicherung	Fach-/Modulprüfung	6	531253
Statistische Methoden zur Verarbeitung natürlicher Sprache	Fach-/Modulprüfung	8	531402
Stochastic Processes and Dynamical Systems	Fach-/Modulprüfung	4	530737
The Logic of Knowledge Bases	Fach-/Modulprüfung	6	528373
Theory of Constraint Satisfaction Problems	Fach-/Modulprüfung	6	531216
Theory of Distributed and Parallel Systems	Fach-/Modulprüfung	6	528061
Theory of Distributed Systems	Fach-/Modulprüfung	6	535016
	Vorlesung		535014	Mo 08:30-10:00 AH I (2350\|028) (×11) Di 10:30-12:00 AH I (2350\|028) (×10)
	Übung		535015	Mi 16:30-18:00 HKW 3 (1132\|504) (×2) Do 10:30-12:00 HKW 3 (1132\|504) (×11)
Wissensrepräsentation	Fach-/Modulprüfung	6	531310